Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
241	Towards Verified Distributed Software Through Refinement of Formal Archetypes Mani Chandy1 , Brian Go1 , Sayan Mitra2 , Jerome White1 1 2 Add to Reading List Source URL: infospheres.caltech.edu Language: English - Date: 2010-05-27 16:01:56 Logical syntax Philosophical logic Theorems First-order logic Logic Model theory Logical consequence
242	Semantic Paradoxes and Abductive Methodology (draft of paper to appear in Brad Armour-Garb, ed., The Relevance of the Liar, Oxford: Oxford University Press) Timothy Williamson Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2014-10-24 06:49:28 Propositional calculus Mathematical logic Predicate logic Entailment Logical truth Interpretation First-order logic Non-logical symbol Truth Logic Philosophical logic Logical syntax
243	Hybrid Verification by Exploiting the Environment* Limor Fix and Fred B. Schneider Department of Computer Science, CorneU University, Ithaca, New York[removed]A b s t r a c t . A method for verifying hybrid systems is g Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2013-09-13 00:16:30** Procedural programming languages Algebra Logical syntax Variables Parallel computing FO Static single assignment form Free variables and bound variables Environment variable Mathematics Computing Software engineering
244	DONALD DAVIDSON ON SAYING THAT* Add to Reading List Source URL: www.philosophie.uni-muenchen.de Language: English - Date: 2012-11-12 03:41:39 Philosophical logic Philosophy of language Semantics Theories of truth Logical syntax Truth Semantic theory of truth Predicate Donald Davidson Logic Philosophy Analytic philosophy
245	Indicative versus Counterfactual Conditionals, Classical versus Non-Hyperintensional Contexts Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:47 Philosophical logic Binary operations Logical syntax Propositional calculus Modal logic Entailment Constructible universe If and only if Atomic sentence Logic Mathematical logic Mathematics
246	Published in The Aristotelian Society supplementary volume[removed]), pp[removed]BLIND REASONING by Paul Boghossian and Timothy Williamson Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:45 Logical consequence Logical syntax Deduction Modus ponens Inference Disjunctive syllogism Paul Boghossian Entailment Deduction theorem Logic Rules of inference Propositional calculus
247	Safe Formulas in the General Theory of Stable Models (Preliminary Report) Joohyung Lee1 , Vladimir Lifschitz2 , and Ravi Palla1 1 2 Add to Reading List Source URL: www.cs.utexas.edu Language: English - Date: 2008-09-10 19:37:33 Predicate logic Model theory Logical syntax Formal languages First-order logic Interpretation Stable model semantics Function Well-formed formula Logic Mathematical logic Mathematics
248	Generalizing the Lottery Paradox Igor Douven Institute of Philosophy, University of Leuven [removed] Timothy Williamson Faculty of Philosophy, Oxford University Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:47 Logical consequence Logical syntax Metalogic Lottery paradox Function Probabilistic logic Logic Deduction Entailment
249	Stalnaker on the Interaction of Modality with Quantification and Identity Add to Reading List Source URL: www.philosophy.ox.ac.uk Language: English - Date: 2008-02-04 11:49:49 Model theory Logical syntax Metalogic Philosophical logic First-order logic Well-formed formula Proposition Function Modal logic Logic Mathematics Mathematical logic
250	4 Valueless Truth ∗ PAOLO L EONARDI By means of the predicate ‘is true’ we monitor our use of language, thereby claiming truth for, or denying it to, what we say or are said.1 For instance, we monitor what we say b Add to Reading List Source URL: www.unige.ch Language: English - Date: 2014-11-07 16:16:06 Philosophical logic Philosophy of language Semantics Theories of truth Logical syntax Truth Meaning Tractatus Logico-Philosophicus Predicate Logic Philosophy Analytic philosophy

UPDATE